Support set selection for a bductive and default reasoning

Set of Support for Theory Reasoning

Meta-level selection techniques for the control of default reasoning

The problem how to control default reasoning is addressed. In earlier work it was described how selection functions (on default conclusions) added to default logic can be exploited to describe control. In this paper specific properties of selection functions are described. Moreover, we investigate under which conditions selection functions can be expressed in the form of declarative control kno...

A Logic for Default Reasoning

The need to make default assumptions is frequently encountered in reasoning'about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non.monotonJcity of any logic of defaults. In this paper we propose a logic for default reasoning. We then specialize ...

Support Vector Machines with Evolutionary Feature Selection for Default Prediction

Predicting default probabilities is at the core of credit risk management and is becoming more and more important for banks in order to measure their client’s degree of risk, and for firms to operate successfully. The SVM with evolutionary feature selection is applied to the CreditReform database. We use classical methods such as discriminan analysis (DA), logit and probit models as benchmark O...

Default Reasoning and Generics

There are numerous logical formalisms capable of drawing conclusions using default rules. Such systems, however, do not normally determine where the default rules come from; i.e. what it is which makes Birds fly a good rule, but Birds drive trucks—a bad one. Generic sentences such as Birds fly are often used informally to describe default rules. I propose to take this characterization seriously...